Demorgan's Theorem 2